UK - PDFSEARCH.IO - Document Search Engine

UK
Results: 509634

#	Item
81	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
82	Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2018-10-16 07:48:38 Functional programming Software engineering Computer programming Computing Monad Arrow Functional reactive programming Strong monad Type class Combinatory logic Pure function
83	Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Computing Web standards Semantic Web Technical communication T0 Data integration -calculus Web Ontology Language Database
84	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:31 Artificial intelligence Logic Cognitive science Automated reasoning Reasoning Accountability Technology Automated theorem proving Explainable Artificial Intelligence Xai Inference
85	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
86	Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-12-10 11:06:15 Temporal logic Mathematics Mathematical analysis Theoretical computer science Linear temporal logic Computation tree logic IP Symbol Distribution Craig interpolation Universal representation
87	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-31 08:52:27 Computer arithmetic Arithmetic Computing Binary arithmetic Theory of computation Data types IEEE standards Decimal64 floating-point format IEEE 754 Double-precision floating-point format cole normale suprieure de Lyon Algorithm
88	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-18 11:56:24 Temporal logic Logic in computer science Model checkers Linear temporal logic Computation tree logic Model checking PAT Synthesis Mathematics
89	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
90	An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2015-06-01 06:51:26 Mathematical analysis Fractals Complex dynamics Mathematics Dynamical systems Metaphysics Systems theory Periodic point Julia set Orbit Complex quadratic polynomial Periodic points of complex quadratic mappings

UPDATE